منابع مشابه
An Undecidable Linear Order That Is n-Decidable for All n
A linear order is n-decidable if its universe is N and the relations determined by n formulas are uniformly computable. This means that there is a computable procedure which, when applied to a n formula φ(x̄) and a sequence ā of elements of the linear order, will determine whether or not φ(ā) is true in the structure. A linear order is decidable if the relations determined by all formulas are un...
متن کاملA Decidable Variety That Is Finitely Undecidable
We construct a decidable rst-order theory T such that the theory of its nite models is undecidable. Moreover, T will be equationally axiomatizable and of nite type.
متن کاملApproximately $n$-order linear differential equations
We prove the generalized Hyers--Ulam stability of $n$-th order linear differential equation of the form $$y^{(n)}+p_{1}(x)y^{(n-1)}+ cdots+p_{n-1}(x)y^{prime}+p_{n}(x)y=f(x),$$ with condition that there exists a non--zero solution of corresponding homogeneous equation. Our main results extend and improve the corresponding results obtained by many authors.
متن کاملDecidable and Undecidable Second-Order Unification Problems
There is a close relationship between word unification and second-order unification. This similarity has been exploited for instance for proving decidability of monadic second-order unification. Word unification can be easily decided by transformation rules (similar to the ones applied in higher-order unification procedures) when variables are restricted to occur at most twice. Hence a well-kno...
متن کاملapproximately n-order linear differential equations
we prove the generalized hyers--ulam stability of n--th order linear differential equation of the form $y^{(n)}+p_{1}(x)y^{(n-1)}+ cdots+p_{n-1}(x)y^{prime}+p_{n}(x)y=f(x)$, with condition that there exists a non--zero solution of corresponding homogeneous equation. our main results extend and improve the corresponding results obtained by many authors.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1998
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1039118866